Abstract Semantic Algebras!
نویسندگان
چکیده
منابع مشابه
Abstract. INTERVAL BASIC ALGEBRAS 1
AMS Mathematics Subject Classification (2000): 06D15, 06B05, 03G25
متن کاملUnified Algebras and Abstract Syntax
We consider the algebraic specification of abstract syntax in the framework of unified algebras. We illustrate the expressiveness of unified algebraic specifications, and provide a grammar-like notation for specifying abstract syntax, particularly attractive for use in semantic descriptions of full-scale programming languages.
متن کاملSemantic tiling - Extended Abstract
Tiling is a well known program transformation, typically applied to loop programs, used to reorder the computation with many different goals: exploiting locality in the memory hierarchy, adapting the granularity of computation to data transfers, and/or exposing coarsegrain parallelism, to name just a few. The tiling transformation, T : ‡ 7→ 〈‡t, ‡l〉 maps a point z in the iteration space to a ti...
متن کاملSemantic Composition with Quotient Algebras
We describe an algebraic approach for computing with vector based semantics. The tensor product has been proposed as a method of composition, but has the undesirable property that strings of different length are incomparable. We consider how a quotient algebra of the tensor algebra can allow such comparisons to be made, offering the possibility of data-driven models of semantic composition.
متن کاملOn Sturdy Frame of Abstract Algebras
We introduce the notion of a sturdy frame of abstract algebras which is a common generalization of a sturdy semilattice of semigroups, the sum of lattice ordered systems, the strong distributive lattice of semirings, the sturdy frame of type (2, 2) algebras and the strong b-lattice of semirings. Also, we give some properties and characterizations of the sturdy frame of abstract algebras. As an ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 1982
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v11i145.6543